TAGs: inorder successor stored